$\forall$$x$:Top, $f$:$a$:Top fp$\rightarrow$ Top, $g$, ${\it eq}$:Top. $x$ $\in$ dom($g$ o $f$) $\sim$ $x$ $\in$ dom($f$)